package cn.edu.nju.ws.sview.reasoning;

/**
 * Term
 * 
 * @author Saisai Gong
 * 
 */
public abstract class Term {
	/* Nothing */
}